Processes in Space

نویسندگان

  • Luca Cardelli
  • Philippa Gardner
چکیده

We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity theorem stating that algebraic equations are invariant under rigid body transformations.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Double Sequence Iterations for Strongly Contractive Mapping in Modular Space

In this paper, we consider double sequence iteration processes for strongly $rho$-contractive mapping in modular space. It is proved, these sequences, convergence strongly to a fixed point of the strongly $rho$-contractive mapping.

متن کامل

Task-space Control of Electrically Driven Robots

Actuators of robot operate in the joint-space while the end-effect or of robot is controlled in the task-space. Therefore, designing a control system for a robotic system in the task-space requires the jacobian matrix information for transforming joint-space to task-space, which suffers from uncertainties. This paper deals with the robust task-space control of electrically driven robot manipula...

متن کامل

شبیه سازی توزیعی مکانی- زمانی رواناب با استفاده از مدل WetSpa در حوزه آبخیز طالقان

In order to assessment and prediction of hydrological processes with inherent complexity, processes changes effects on the nonlinear behavior of watershed system in the past and future and specification of water and soil conservation operation, using indirectly methods such as simulation of watershed processes therewith directly methods is necessary. The objective of this research is evaluation...

متن کامل

Robust Control of Electrically Driven Robots in the Task Space

In this paper, a task-space controller for electrically driven robot manipulators is developed using a robust control algorithm. The controller is designed using voltage control strategy. Based on the nominal model of the robotic arm, the desired signals for motor currents are calculated and then the voltage control law is proposed based on the current errors and motor nominal electrical model....

متن کامل

Characterizing imageability in Gajar houses of Tabriz

Aims: From Lufor’s perspective, space is constructed based on spatial operation, recreation and the space in which recreation takes place. This approach is a descriptive view of the relationship between space from a materialistic point of view and its dominant ideas with its dwellers. In this perspective, humans integrate distinct and indistinct data of space and create map-like mental images f...

متن کامل

Inflammatory Pseudotumor in the Epidural Space of the Lumbosacral Spine on F-18 FDG PET/CT

An inflammatory pseudotumor (IPT) is a rare benign lesion, characterized by nonneoplastic proliferation of inflammatory cells and presence of intermingling collagen fibers. IPT commonly occurs in the lungs and orbita, while an intraspinal IPT is extremely rare. IPT can mimic both clinically and radiologically malignant processes, and making a definitive preoperative diagnosis is often difficult...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 431  شماره 

صفحات  -

تاریخ انتشار 2010